-- 1. 参数列表
-- 优惠券ID
local voucherId = ARGV[1]
-- 用户ID
local userId = ARGV[2]
-- OrderID
local orderId = ARGV[3]

-- 2. 脚本逻辑
-- 2.1. 获取优惠券的库存key
local stockKey = 'seckill:stock:' .. voucherId

-- 2.2. 获取优惠券的订单key
local orderKey = 'seckill:order:' .. voucherId

-- 3.脚本业务
-- 3.1. 判断库存是否充足
if(tonumber(redis.call('get', stockKey)) <= 0) then
    -- 3.2 库存不住
    return 1
end

-- 3.2 判断用户是否下单
if(redis.call('sismember', orderKey, userId) == 1) then
    -- 3.3 存在，是重复下单
    return 2
end
-- 扣库存
redis.call('incrby',stockKey, -1)
-- 下单
redis.call('sadd',orderKey, userId)
-- 发送消息到队列 XADD stream.orders * k1 v1 k2 v2 ...
redis.call('xadd', 'stream.orders', '*', 'userId', userId, 'voucherId', voucherId, 'id', orderId)
return 0

